1

Strategies for modal resolution: Results and problems

Year:
1990
Language:
english
File:
PDF, 1.59 MB
english, 1990
2

A linear algorithm for renaming a set of clauses as a Horn set

Year:
1994
Language:
english
File:
PDF, 357 KB
english, 1994
3

An efficient algorithm for Horn description

Year:
2003
Language:
english
File:
PDF, 168 KB
english, 2003
4

A unified framework for structure identification

Year:
2002
Language:
english
File:
PDF, 74 KB
english, 2002
5

The horn basis of a set of clauses

Year:
1998
Language:
english
File:
PDF, 425 KB
english, 1998
6

Unique Horn renaming and Unique 2-Satisfiability

Year:
1995
Language:
english
File:
PDF, 366 KB
english, 1995
7

An algorithm for distinguishing efficiently bit-strings by their subsequences

Year:
1991
Language:
english
File:
PDF, 1.42 MB
english, 1991